type crypto/internal/edwards25519.fiatScalarUint1
172 uses
crypto/internal/edwards25519 (current package)
scalar_fiat.go#L43: type fiatScalarUint1 uint64 // We use uint64 instead of a more narrow type for performance reasons; see https://github.com/mit-plv/fiat-crypto/pull/1006#issuecomment-892625927
scalar_fiat.go#L71: func fiatScalarCmovznzU64(out1 *uint64, arg1 fiatScalarUint1, arg2 uint64, arg3 uint64) {
scalar_fiat.go#L110: x15, x16 = bits.Add64(x10, x7, uint64(fiatScalarUint1(x14)))
scalar_fiat.go#L113: x17, x18 = bits.Add64(x8, x5, uint64(fiatScalarUint1(x16)))
scalar_fiat.go#L114: x19 := (uint64(fiatScalarUint1(x18)) + x6)
scalar_fiat.go#L129: x30 := (uint64(fiatScalarUint1(x29)) + x25)
scalar_fiat.go#L134: x33, x34 = bits.Add64(x13, x28, uint64(fiatScalarUint1(x32)))
scalar_fiat.go#L137: x35, x36 = bits.Add64(x15, x30, uint64(fiatScalarUint1(x34)))
scalar_fiat.go#L140: x37, x38 = bits.Add64(x17, x22, uint64(fiatScalarUint1(x36)))
scalar_fiat.go#L143: x39, x40 = bits.Add64(x19, x23, uint64(fiatScalarUint1(x38)))
scalar_fiat.go#L161: x51, x52 = bits.Add64(x46, x43, uint64(fiatScalarUint1(x50)))
scalar_fiat.go#L164: x53, x54 = bits.Add64(x44, x41, uint64(fiatScalarUint1(x52)))
scalar_fiat.go#L165: x55 := (uint64(fiatScalarUint1(x54)) + x42)
scalar_fiat.go#L171: x58, x59 = bits.Add64(x35, x49, uint64(fiatScalarUint1(x57)))
scalar_fiat.go#L174: x60, x61 = bits.Add64(x37, x51, uint64(fiatScalarUint1(x59)))
scalar_fiat.go#L177: x62, x63 = bits.Add64(x39, x53, uint64(fiatScalarUint1(x61)))
scalar_fiat.go#L180: x64, x65 = bits.Add64(uint64(fiatScalarUint1(x40)), x55, uint64(fiatScalarUint1(x63)))
scalar_fiat.go#L195: x76 := (uint64(fiatScalarUint1(x75)) + x71)
scalar_fiat.go#L200: x79, x80 = bits.Add64(x58, x74, uint64(fiatScalarUint1(x78)))
scalar_fiat.go#L203: x81, x82 = bits.Add64(x60, x76, uint64(fiatScalarUint1(x80)))
scalar_fiat.go#L206: x83, x84 = bits.Add64(x62, x68, uint64(fiatScalarUint1(x82)))
scalar_fiat.go#L209: x85, x86 = bits.Add64(x64, x69, uint64(fiatScalarUint1(x84)))
scalar_fiat.go#L210: x87 := (uint64(fiatScalarUint1(x86)) + uint64(fiatScalarUint1(x65)))
scalar_fiat.go#L228: x98, x99 = bits.Add64(x93, x90, uint64(fiatScalarUint1(x97)))
scalar_fiat.go#L231: x100, x101 = bits.Add64(x91, x88, uint64(fiatScalarUint1(x99)))
scalar_fiat.go#L232: x102 := (uint64(fiatScalarUint1(x101)) + x89)
scalar_fiat.go#L238: x105, x106 = bits.Add64(x81, x96, uint64(fiatScalarUint1(x104)))
scalar_fiat.go#L241: x107, x108 = bits.Add64(x83, x98, uint64(fiatScalarUint1(x106)))
scalar_fiat.go#L244: x109, x110 = bits.Add64(x85, x100, uint64(fiatScalarUint1(x108)))
scalar_fiat.go#L247: x111, x112 = bits.Add64(x87, x102, uint64(fiatScalarUint1(x110)))
scalar_fiat.go#L262: x123 := (uint64(fiatScalarUint1(x122)) + x118)
scalar_fiat.go#L267: x126, x127 = bits.Add64(x105, x121, uint64(fiatScalarUint1(x125)))
scalar_fiat.go#L270: x128, x129 = bits.Add64(x107, x123, uint64(fiatScalarUint1(x127)))
scalar_fiat.go#L273: x130, x131 = bits.Add64(x109, x115, uint64(fiatScalarUint1(x129)))
scalar_fiat.go#L276: x132, x133 = bits.Add64(x111, x116, uint64(fiatScalarUint1(x131)))
scalar_fiat.go#L277: x134 := (uint64(fiatScalarUint1(x133)) + uint64(fiatScalarUint1(x112)))
scalar_fiat.go#L295: x145, x146 = bits.Add64(x140, x137, uint64(fiatScalarUint1(x144)))
scalar_fiat.go#L298: x147, x148 = bits.Add64(x138, x135, uint64(fiatScalarUint1(x146)))
scalar_fiat.go#L299: x149 := (uint64(fiatScalarUint1(x148)) + x136)
scalar_fiat.go#L305: x152, x153 = bits.Add64(x128, x143, uint64(fiatScalarUint1(x151)))
scalar_fiat.go#L308: x154, x155 = bits.Add64(x130, x145, uint64(fiatScalarUint1(x153)))
scalar_fiat.go#L311: x156, x157 = bits.Add64(x132, x147, uint64(fiatScalarUint1(x155)))
scalar_fiat.go#L314: x158, x159 = bits.Add64(x134, x149, uint64(fiatScalarUint1(x157)))
scalar_fiat.go#L329: x170 := (uint64(fiatScalarUint1(x169)) + x165)
scalar_fiat.go#L334: x173, x174 = bits.Add64(x152, x168, uint64(fiatScalarUint1(x172)))
scalar_fiat.go#L337: x175, x176 = bits.Add64(x154, x170, uint64(fiatScalarUint1(x174)))
scalar_fiat.go#L340: x177, x178 = bits.Add64(x156, x162, uint64(fiatScalarUint1(x176)))
scalar_fiat.go#L343: x179, x180 = bits.Add64(x158, x163, uint64(fiatScalarUint1(x178)))
scalar_fiat.go#L344: x181 := (uint64(fiatScalarUint1(x180)) + uint64(fiatScalarUint1(x159)))
scalar_fiat.go#L350: x184, x185 = bits.Sub64(x175, 0x14def9dea2f79cd6, uint64(fiatScalarUint1(x183)))
scalar_fiat.go#L353: x186, x187 = bits.Sub64(x177, uint64(0x0), uint64(fiatScalarUint1(x185)))
scalar_fiat.go#L356: x188, x189 = bits.Sub64(x179, 0x1000000000000000, uint64(fiatScalarUint1(x187)))
scalar_fiat.go#L358: _, x191 = bits.Sub64(x181, uint64(0x0), uint64(fiatScalarUint1(x189)))
scalar_fiat.go#L360: fiatScalarCmovznzU64(&x192, fiatScalarUint1(x191), x182, x173)
scalar_fiat.go#L362: fiatScalarCmovznzU64(&x193, fiatScalarUint1(x191), x184, x175)
scalar_fiat.go#L364: fiatScalarCmovznzU64(&x194, fiatScalarUint1(x191), x186, x177)
scalar_fiat.go#L366: fiatScalarCmovznzU64(&x195, fiatScalarUint1(x191), x188, x179)
scalar_fiat.go#L390: x3, x4 = bits.Add64(arg1[1], arg2[1], uint64(fiatScalarUint1(x2)))
scalar_fiat.go#L393: x5, x6 = bits.Add64(arg1[2], arg2[2], uint64(fiatScalarUint1(x4)))
scalar_fiat.go#L396: x7, x8 = bits.Add64(arg1[3], arg2[3], uint64(fiatScalarUint1(x6)))
scalar_fiat.go#L402: x11, x12 = bits.Sub64(x3, 0x14def9dea2f79cd6, uint64(fiatScalarUint1(x10)))
scalar_fiat.go#L405: x13, x14 = bits.Sub64(x5, uint64(0x0), uint64(fiatScalarUint1(x12)))
scalar_fiat.go#L408: x15, x16 = bits.Sub64(x7, 0x1000000000000000, uint64(fiatScalarUint1(x14)))
scalar_fiat.go#L410: _, x18 = bits.Sub64(uint64(fiatScalarUint1(x8)), uint64(0x0), uint64(fiatScalarUint1(x16)))
scalar_fiat.go#L412: fiatScalarCmovznzU64(&x19, fiatScalarUint1(x18), x9, x1)
scalar_fiat.go#L414: fiatScalarCmovznzU64(&x20, fiatScalarUint1(x18), x11, x3)
scalar_fiat.go#L416: fiatScalarCmovznzU64(&x21, fiatScalarUint1(x18), x13, x5)
scalar_fiat.go#L418: fiatScalarCmovznzU64(&x22, fiatScalarUint1(x18), x15, x7)
scalar_fiat.go#L442: x3, x4 = bits.Sub64(arg1[1], arg2[1], uint64(fiatScalarUint1(x2)))
scalar_fiat.go#L445: x5, x6 = bits.Sub64(arg1[2], arg2[2], uint64(fiatScalarUint1(x4)))
scalar_fiat.go#L448: x7, x8 = bits.Sub64(arg1[3], arg2[3], uint64(fiatScalarUint1(x6)))
scalar_fiat.go#L450: fiatScalarCmovznzU64(&x9, fiatScalarUint1(x8), uint64(0x0), 0xffffffffffffffff)
scalar_fiat.go#L456: x12, x13 = bits.Add64(x3, (x9 & 0x14def9dea2f79cd6), uint64(fiatScalarUint1(x11)))
scalar_fiat.go#L459: x14, x15 = bits.Add64(x5, uint64(0x0), uint64(fiatScalarUint1(x13)))
scalar_fiat.go#L461: x16, _ = bits.Add64(x7, (x9 & 0x1000000000000000), uint64(fiatScalarUint1(x15)))
scalar_fiat.go#L484: x3, x4 = bits.Sub64(uint64(0x0), arg1[1], uint64(fiatScalarUint1(x2)))
scalar_fiat.go#L487: x5, x6 = bits.Sub64(uint64(0x0), arg1[2], uint64(fiatScalarUint1(x4)))
scalar_fiat.go#L490: x7, x8 = bits.Sub64(uint64(0x0), arg1[3], uint64(fiatScalarUint1(x6)))
scalar_fiat.go#L492: fiatScalarCmovznzU64(&x9, fiatScalarUint1(x8), uint64(0x0), 0xffffffffffffffff)
scalar_fiat.go#L498: x12, x13 = bits.Add64(x3, (x9 & 0x14def9dea2f79cd6), uint64(fiatScalarUint1(x11)))
scalar_fiat.go#L501: x14, x15 = bits.Add64(x5, uint64(0x0), uint64(fiatScalarUint1(x13)))
scalar_fiat.go#L503: x16, _ = bits.Add64(x7, (x9 & 0x1000000000000000), uint64(fiatScalarUint1(x15)))
scalar_fiat.go#L562: x14, x15 = bits.Add64(uint64(0x0), x10, uint64(fiatScalarUint1(x13)))
scalar_fiat.go#L584: x30, x31 = bits.Add64((uint64(fiatScalarUint1(x17)) + (uint64(fiatScalarUint1(x15)) + (uint64(fiatScalarUint1(x11)) + x7))), x26, uint64(fiatScalarUint1(x29)))
scalar_fiat.go#L587: x32, x33 = bits.Add64(x4, (uint64(fiatScalarUint1(x27)) + x23), uint64(fiatScalarUint1(x31)))
scalar_fiat.go#L590: x34, x35 = bits.Add64(x5, x20, uint64(fiatScalarUint1(x33)))
scalar_fiat.go#L596: x38, x39 = bits.Add64(x32, uint64(0x0), uint64(fiatScalarUint1(x37)))
scalar_fiat.go#L599: x40, x41 = bits.Add64(x34, uint64(0x0), uint64(fiatScalarUint1(x39)))
scalar_fiat.go#L618: x54, x55 = bits.Add64(x38, x50, uint64(fiatScalarUint1(x53)))
scalar_fiat.go#L621: x56, x57 = bits.Add64(x40, (uint64(fiatScalarUint1(x51)) + x47), uint64(fiatScalarUint1(x55)))
scalar_fiat.go#L624: x58, x59 = bits.Add64((uint64(fiatScalarUint1(x41)) + (uint64(fiatScalarUint1(x35)) + x21)), x44, uint64(fiatScalarUint1(x57)))
scalar_fiat.go#L630: x62, x63 = bits.Add64(x56, uint64(0x0), uint64(fiatScalarUint1(x61)))
scalar_fiat.go#L633: x64, x65 = bits.Add64(x58, uint64(0x0), uint64(fiatScalarUint1(x63)))
scalar_fiat.go#L652: x78, x79 = bits.Add64(x62, x74, uint64(fiatScalarUint1(x77)))
scalar_fiat.go#L655: x80, x81 = bits.Add64(x64, (uint64(fiatScalarUint1(x75)) + x71), uint64(fiatScalarUint1(x79)))
scalar_fiat.go#L658: x82, x83 = bits.Add64((uint64(fiatScalarUint1(x65)) + (uint64(fiatScalarUint1(x59)) + x45)), x68, uint64(fiatScalarUint1(x81)))
scalar_fiat.go#L659: x84 := (uint64(fiatScalarUint1(x83)) + x69)
scalar_fiat.go#L665: x87, x88 = bits.Sub64(x80, 0x14def9dea2f79cd6, uint64(fiatScalarUint1(x86)))
scalar_fiat.go#L668: x89, x90 = bits.Sub64(x82, uint64(0x0), uint64(fiatScalarUint1(x88)))
scalar_fiat.go#L671: x91, x92 = bits.Sub64(x84, 0x1000000000000000, uint64(fiatScalarUint1(x90)))
scalar_fiat.go#L673: _, x94 = bits.Sub64(uint64(0x0), uint64(0x0), uint64(fiatScalarUint1(x92)))
scalar_fiat.go#L675: fiatScalarCmovznzU64(&x95, fiatScalarUint1(x94), x85, x78)
scalar_fiat.go#L677: fiatScalarCmovznzU64(&x96, fiatScalarUint1(x94), x87, x80)
scalar_fiat.go#L679: fiatScalarCmovznzU64(&x97, fiatScalarUint1(x94), x89, x82)
scalar_fiat.go#L681: fiatScalarCmovznzU64(&x98, fiatScalarUint1(x94), x91, x84)
scalar_fiat.go#L720: x15, x16 = bits.Add64(x10, x7, uint64(fiatScalarUint1(x14)))
scalar_fiat.go#L723: x17, x18 = bits.Add64(x8, x5, uint64(fiatScalarUint1(x16)))
scalar_fiat.go#L742: x31, x32 = bits.Add64(x13, x27, uint64(fiatScalarUint1(x30)))
scalar_fiat.go#L745: x33, x34 = bits.Add64(x15, (uint64(fiatScalarUint1(x28)) + x24), uint64(fiatScalarUint1(x32)))
scalar_fiat.go#L748: x35, x36 = bits.Add64(x17, x21, uint64(fiatScalarUint1(x34)))
scalar_fiat.go#L766: x47, x48 = bits.Add64(x42, x39, uint64(fiatScalarUint1(x46)))
scalar_fiat.go#L769: x49, x50 = bits.Add64(x40, x37, uint64(fiatScalarUint1(x48)))
scalar_fiat.go#L775: x53, x54 = bits.Add64(x33, x45, uint64(fiatScalarUint1(x52)))
scalar_fiat.go#L778: x55, x56 = bits.Add64(x35, x47, uint64(fiatScalarUint1(x54)))
scalar_fiat.go#L781: x57, x58 = bits.Add64(((uint64(fiatScalarUint1(x36)) + (uint64(fiatScalarUint1(x18)) + x6)) + x22), x49, uint64(fiatScalarUint1(x56)))
scalar_fiat.go#L800: x71, x72 = bits.Add64(x53, x67, uint64(fiatScalarUint1(x70)))
scalar_fiat.go#L803: x73, x74 = bits.Add64(x55, (uint64(fiatScalarUint1(x68)) + x64), uint64(fiatScalarUint1(x72)))
scalar_fiat.go#L806: x75, x76 = bits.Add64(x57, x61, uint64(fiatScalarUint1(x74)))
scalar_fiat.go#L824: x87, x88 = bits.Add64(x82, x79, uint64(fiatScalarUint1(x86)))
scalar_fiat.go#L827: x89, x90 = bits.Add64(x80, x77, uint64(fiatScalarUint1(x88)))
scalar_fiat.go#L833: x93, x94 = bits.Add64(x73, x85, uint64(fiatScalarUint1(x92)))
scalar_fiat.go#L836: x95, x96 = bits.Add64(x75, x87, uint64(fiatScalarUint1(x94)))
scalar_fiat.go#L839: x97, x98 = bits.Add64(((uint64(fiatScalarUint1(x76)) + (uint64(fiatScalarUint1(x58)) + (uint64(fiatScalarUint1(x50)) + x38))) + x62), x89, uint64(fiatScalarUint1(x96)))
scalar_fiat.go#L858: x111, x112 = bits.Add64(x93, x107, uint64(fiatScalarUint1(x110)))
scalar_fiat.go#L861: x113, x114 = bits.Add64(x95, (uint64(fiatScalarUint1(x108)) + x104), uint64(fiatScalarUint1(x112)))
scalar_fiat.go#L864: x115, x116 = bits.Add64(x97, x101, uint64(fiatScalarUint1(x114)))
scalar_fiat.go#L882: x127, x128 = bits.Add64(x122, x119, uint64(fiatScalarUint1(x126)))
scalar_fiat.go#L885: x129, x130 = bits.Add64(x120, x117, uint64(fiatScalarUint1(x128)))
scalar_fiat.go#L891: x133, x134 = bits.Add64(x113, x125, uint64(fiatScalarUint1(x132)))
scalar_fiat.go#L894: x135, x136 = bits.Add64(x115, x127, uint64(fiatScalarUint1(x134)))
scalar_fiat.go#L897: x137, x138 = bits.Add64(((uint64(fiatScalarUint1(x116)) + (uint64(fiatScalarUint1(x98)) + (uint64(fiatScalarUint1(x90)) + x78))) + x102), x129, uint64(fiatScalarUint1(x136)))
scalar_fiat.go#L916: x151, x152 = bits.Add64(x133, x147, uint64(fiatScalarUint1(x150)))
scalar_fiat.go#L919: x153, x154 = bits.Add64(x135, (uint64(fiatScalarUint1(x148)) + x144), uint64(fiatScalarUint1(x152)))
scalar_fiat.go#L922: x155, x156 = bits.Add64(x137, x141, uint64(fiatScalarUint1(x154)))
scalar_fiat.go#L923: x157 := ((uint64(fiatScalarUint1(x156)) + (uint64(fiatScalarUint1(x138)) + (uint64(fiatScalarUint1(x130)) + x118))) + x142)
scalar_fiat.go#L929: x160, x161 = bits.Sub64(x153, 0x14def9dea2f79cd6, uint64(fiatScalarUint1(x159)))
scalar_fiat.go#L932: x162, x163 = bits.Sub64(x155, uint64(0x0), uint64(fiatScalarUint1(x161)))
scalar_fiat.go#L935: x164, x165 = bits.Sub64(x157, 0x1000000000000000, uint64(fiatScalarUint1(x163)))
scalar_fiat.go#L937: _, x167 = bits.Sub64(uint64(0x0), uint64(0x0), uint64(fiatScalarUint1(x165)))
scalar_fiat.go#L939: fiatScalarCmovznzU64(&x168, fiatScalarUint1(x167), x158, x151)
scalar_fiat.go#L941: fiatScalarCmovznzU64(&x169, fiatScalarUint1(x167), x160, x153)
scalar_fiat.go#L943: fiatScalarCmovznzU64(&x170, fiatScalarUint1(x167), x162, x155)
scalar_fiat.go#L945: fiatScalarCmovznzU64(&x171, fiatScalarUint1(x167), x164, x157)
 |
The pages are generated with Golds v0.6.7. (GOOS=linux GOARCH=amd64)
Golds is a Go 101 project developed by Tapir Liu.
PR and bug reports are welcome and can be submitted to the issue list.
Please follow @Go100and1 (reachable from the left QR code) to get the latest news of Golds. |